обратное утверждение

См. также в других словарях:

• обратное утверждение — обратная импликация инверсия — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы обратная импликацияинверсия EN converse …   Справочник технического переводчика

• Планарный граф — Планарный граф  граф, который может быть изображен на плоскости без пересечения ребер. Более строго: Граф укладывается на некоторой поверхности, если его можно на ней нарисовать без пересечения ребер. Уложенный граф называется геометрическим …   Википедия

• Лобачевский, Николай Иванович — родился 22 октября 1793 г. в Нижегородской губернии (по одному источнику в Нижнем Новгороде, по другому в Макарьевском уезде). Отец его Иван Максимович, выходец из Западного края, по вероисповеданию католик, потом перешедший в православную веру,… …   Большая биографическая энциклопедия

• КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …   История Философии: Энциклопедия

• Малая теорема Ферма — Малая теорема Ферма  классическая теорема теории чисел, которая утверждает, что Если p простое число, и не делится на , то …   Википедия

• Центральное многообразие — особой точки автономного обыкновенного дифференциального уравнения инвариантное многообразие в фазовом пространстве, проходящее через особую точку и касающееся инвариантного центрального подпространства линеаризации дифференциального уравнения.… …   Википедия

• ВЛОЖЕНИЯ ТЕОРЕМЫ — теоремы, относящиеся к циклу вопросов, посвященных изучению неравенств между нормами одной и той же функции, принадлежащей к разным классам (нормированным пространствам). Обычно речь идет о двух классах и , где есть часть и при этом выполняется… …   Математическая энциклопедия

• ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

• Булеан — Пусть   множество. Множество всех подмножеств множества называется булеаном (также степенью множества (англ. power set), показательным множеством или множеством частей) и обозначается . Также оно обозначается , так как оно соответствует …   Википедия

• Сила — Запрос «сила» перенаправляется сюда; см. также другие значения. Сила Размерность LMT−2 Единицы измерения СИ ньютон …   Википедия

• Модуль непрерывности — Для любой функции , определённой на множестве , можно ввести понятие модуля непрерывности этой функции, обозначаемого . Модуль непрерывности  тоже функция, по определению равная или верхней грани колебания функции по всем подотрезкам из дли …   Википедия